Glossary of category theory

This is a glossary of properties and concepts in category theory in mathematics.

Contents

Categories

A category A is said to be:

Morphisms

A morphism f in a category is called:

Functors

A functor F is said to be:

Objects

An object A in a category is said to be:

An object A in an abelian category is:

Notes

  1. ^ Adámek, Jiří; Herrlich, Horst, and Strecker, George E (2004) [1990] (PDF). Abstract and Concrete Categories (The Joy of Cats). New York: Wiley & Sons. p. 40. ISBN 0-471-60922-6. http://katmat.math.uni-bremen.de/acc/. 
  2. ^ Joyal, A. (2002). "Quasi-categories and Kan complexes". Journal of Pure and Applied Algebra 175 (1-3): 207–222. doi:10.1016/S0022-4049(02)00135-4. 
  3. ^ http://planetmath.org/encyclopedia/NormalCategory.html
  4. ^ Kashiwara & Schapira 2006, exercise 8.20

References